Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 15
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoMASIERO, P. C. (Ed). Ética para profissionais em computação. São Carlos: USP, ICMSC, 1994. 32 p. (ICMSC. Notas Didaticas, 12).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoMASIERO, P. C. Tutorial 3: análise orientada a objetos: uma introdução ao método fusion. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. p. 37.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoMEIRA, C. A. A.; MASIERO, P. C. Manual da linguagem de descrição de produtos (LDP) de geradores de aplicação. [S.l.: s.n., 1991]. 15 p. (Relatório Técnico, ME-91/04).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
4.Imagem marcado/desmarcadoMEIRA, C. A. A.; MASIERO, P. C. Especificações formais em VDM: um estudo de caso. Sao Carlos: USP, ICMSC, 1990. 24 p. (ICMSC-USP. Relatório Técnico, 6).

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
5.Imagem marcado/desmarcadoMASIERO, P. C.; MEIRA, C. A. A. Development and instantiation of a generic application generator. Journal of Systems Software, v. 23, n. 1, p. 23-37, Oct. 1993.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroAcesso restrito ao objeto digitalImprime registro no formato completo
6.Imagem marcado/desmarcadoMEIRA, C. A. A.; MASIERO, P. C. Um gerador de aplicações para sistemas reativos. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?]. p. 45-59.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
7.Imagem marcado/desmarcadoSHIBUYA, R.; PENTEADO, R. D.; MASIERO, P. C. Geração de código a partir de modelos comportamentais especificados por estatecharts. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994. p.253-267.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
8.Imagem marcado/desmarcadoPENTEADO, R. A. D.; GERMANO, F. S. R.; MASIERO, P. C. Engenharia reversa orientada a objetos do ambiente StatSim: método utilizado e resultados obtidos. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. p. 345-360.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
9.Imagem marcado/desmarcadoCOSTA, R. M. da; IAVARONE, G. M.; SANCHES, R.; MALDONADO, J. C.; MASIERO, P. C. Aplicação do método de engenharia reversa FUSION-RE/I na recuperação da funcionalidade da ferramenta de teste PROTEUM. In: WORKSHOP DO PROJETO VALIDAÇÃO E TESTE DE SISTEMAS DE OPERAÇÃO, 1997, Águas de Lindóia, SP. Anais... [Águas de Lindóia: s.n., 1997]. p. 233-244. WOVTSO 1997.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
10.Imagem marcado/desmarcadoFABBRI, S. C. P. F.; MALDONADO, J. C.; MASIERO, P. C.; DELAMARO, M. E. Aplicação da análise de mutantes na validação de especificações baseadas em Redes de Petri. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994. p.423-437.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
11.Imagem marcado/desmarcadoPAULO, F. B.; MASIERO, P. C.; OLIVEIRA, M. C. F. de. Extensões ao HMBS para especificação de apresentaçõs hipermídia. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 10., 1996, São Carlos, SP. Anais... São Carlos, SP: USP-ICMSC-DCCE, 1996. p.241-256. Editado por Jose Carlos Maldonado e Paulo Cesar Masiero.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
12.Imagem marcado/desmarcadoNAKAZATO, K. K.; ALEXANDRINO, M.; MALDONADO, J. C.; FABBRI, S. C. P. F.; MASIERO, P. C. MGASET - Módulo de Geração de Sequências de Teste. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. p. 479-482.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
13.Imagem marcado/desmarcadoFABBRI, S. C. P. F.; MALDONADO, J. C.; DELAMARO, M. E.; MASIERO, P. C. PROTEUM/FSM - uma ferramenta para apoiar a validação de máquinas de estado finito pelo critério análise de mutantes. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. p. 475-478.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
14.Imagem marcado/desmarcadoDELAMARO, M. E.; FABBRI, S. C. P. F.; MALDONADO, J. C.; MASIERO, P. C. Teste baseado em mutação e qualidade de software. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8.; WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Workshop de qualidade de software. Curitiba: Centro Internacional de Tecnologia de Software, 1994. p.28-30.

Biblioteca(s): Embrapa Agricultura Digital.

Visualizar detalhes do registroImprime registro no formato completo
15.Imagem marcado/desmarcadoMASIERO, P. C.; BREMER, C. F.; COLETTA, T. das G.; LIRANI, M. de L. R.; KONDO, R. T.; ARAGÃO, A. C.; MOSCONI, E. P.; SALEM, A. D. C. A biblioteca digital de teses e dissertações da Universidade de São Paulo. Ciência da Informação, Brasília, v. 30, n. 3, p. 34-41, set./dez. 2001.

Biblioteca(s): Embrapa Amazônia Ocidental.

Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 15
Primeira ... 1 ... Última






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 3
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoMEIRA, C. A. A.; MASIERO, P. C. Um gerador de aplicações para sistemas reativos. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 5., 1991, Ouro Preto. Anais... Belo Horizonte: UFMG, [1991?]. p. 45-59.
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
2.Imagem marcado/desmarcadoMEIRA, C. A. A.; MASIERO, P. C. Manual da linguagem de descrição de produtos (LDP) de geradores de aplicação. [S.l.: s.n., 1991]. 15 p. (Relatório Técnico, ME-91/04).
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
3.Imagem marcado/desmarcadoMEIRA, C. A. A.; MASIERO, P. C. Especificações formais em VDM: um estudo de caso. Sao Carlos: USP, ICMSC, 1990. 24 p. (ICMSC-USP. Relatório Técnico, 6).
Biblioteca(s): Embrapa Agricultura Digital.
Visualizar detalhes do registroImprime registro no formato completo
Registros recuperados : 3
Primeira ... 1 ... Última
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional